Feeds to Scour
SubscribedAll
Scoured 15849 posts in 1.11 s
CodeSOD: Validation Trimmed Away
thedailywtf.com·14h
Format Validation
Preview
Report Post
Dealing with alternatives
jemarch.net·1d
🔧Binary Parsing
Preview
Report Post
Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
arxiv.org·15h
⚖️Verification Calculi
Preview
Report Post
Type-Safe Routing Without the Build Step
werkbank.dev·2h·
Discuss: Hacker News
🎯Gradual Typing
Preview
Report Post
#1 - Spot Problems Before Reading Any Code
dev.to·30m·
Discuss: DEV
🔗Static Linking
Preview
Report Post
Redacting Faces, People, Vehicles, and Plates with Amped Replay Assisted Redaction
blog.ampedsoftware.com·5h
🧪Archive Fuzzing
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·8h
📊Static Analysis
Preview
Report Post
cognitect/transit-format: A data interchange format.
github.com·7h·
Discuss: Hacker News
📋Format Specification
Preview
Report Post
Filtering as domain logic
blog.ploeh.dk·1d·
Discuss: r/programming
🗄️Database Internals
Preview
Report Post
Building Modern Databases with the FDAP Stack • Andrew Lamb & Olimpiu Pop
youtube.com·1d
🦀Rusty Databases
Preview
Report Post
Exploring Text Compression
denvaar.dev·17h
📝Text Compression
Preview
Report Post
Some tree-sitter love for RPM Spec
blog.cryptomilk.org·12h·
Discuss: Lobsters
📊Format Entropy
Preview
Report Post
The 2026 String Similarity Guidelines: Automating the Mistakes of the Past
circleid.com·1d
🔍BitFunnel
Preview
Report Post
Swift reference book typeset in typst
notes.billmill.org·1d
🖋Typography
Preview
Report Post
Subterms Modulo Theories I
philipzucker.com·2d
🎯Automata theory
Preview
Report Post
Type-safe eval in Grace
haskellforall.com·1d·
💧Liquid Types
Preview
Report Post
Partial Reductions for Kleene Algebra with Linear Hypotheses
arxiv.org·15h
⚙️Syntactic Monoids
Preview
Report Post
Recap of ELISA Project at Linux Plumbers Conference: Tokyo, Japan 2025
elisa.tech·1h
🔍eBPF
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·4h·
Discuss: Hacker News
🤝Unification Algorithms
Preview
Report Post
Trying Out Claude Code with Ollama
slicervm.com·1d·
Discuss: Hacker News
🔧Binary Parsing
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help